Kripke semantics

#	Item
181	PDF Document Add to Reading List Source URL: comet.lehman.cuny.edu Language: English - Date: 2013-07-10 12:43:35 Philosophical logic Predicate logic Non-classical logic Semantics Interpretation Kripke semantics First-order logic Modal logic Intensional logic Logic Mathematical logic Model theory
182	PDF Document Add to Reading List Source URL: arxiv.org Language: English Category theory Boolean algebra Modal logic Algebraic logic F-coalgebra Coalgebra General frame Modal algebra Kripke semantics Mathematics Abstract algebra Mathematical logic